25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suite
A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw ...
Lire la suite
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suite
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suite
Diagrammatic Representation and Inference
This book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, ...
Lire la suite
Foundations of Software Science and Computation Structures
This volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
Lire la suite
Foundations of Software Science and Computational Structures (vol. # 3921)
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Lire la suite
Logic, Language, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
Lire la suite
Modalities and Multimodalities
In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...
Lire la suite
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
Lire la suite
Theory and Applications of Relational Structures as Knowledge Instruments II
This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...
Lire la suite
Uncertainty, Rationality, and Agency
This book is about Rational Agents, which can be humans, players in a game, software programs or institutions. Typically, ...
Lire la suite
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...
Lire la suite
